Optimal. Leaf size=26 \[ \text {Int}\left (\frac {\sec ^4(c+d x)}{\left (a+b \sin ^3(c+d x)\right )^2},x\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {\sec ^4(c+d x)}{\left (a+b \sin ^3(c+d x)\right )^2} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {\sec ^4(c+d x)}{\left (a+b \sin ^3(c+d x)\right )^2} \, dx &=\int \frac {\sec ^4(c+d x)}{\left (a+b \sin ^3(c+d x)\right )^2} \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] Result contains complex when optimal does not.
time = 1.26, size = 1158, normalized size = 44.54 \begin {gather*} \frac {4 i b^2 \text {RootSum}\left [-i b+3 i b \text {$\#$1}^2+8 a \text {$\#$1}^3-3 i b \text {$\#$1}^4+i b \text {$\#$1}^6\&,\frac {14 a^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right )+74 a^2 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right )+2 b^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right )-7 i a^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right )-37 i a^2 b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right )-i b^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right )+144 i a^3 b \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}+36 i a b^3 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}+72 a^3 b \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}+18 a b^3 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}-180 a^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^2-372 a^2 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^2+12 b^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^2+90 i a^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^2+186 i a^2 b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^2-6 i b^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^2-144 i a^3 b \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^3-36 i a b^3 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^3-72 a^3 b \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^3-18 a b^3 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^3+14 a^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^4+74 a^2 b^2 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^4+2 b^4 \tan ^{-1}\left (\frac {\sin (c+d x)}{\cos (c+d x)-\text {$\#$1}}\right ) \text {$\#$1}^4-7 i a^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^4-37 i a^2 b^2 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^4-i b^4 \log \left (1-2 \cos (c+d x) \text {$\#$1}+\text {$\#$1}^2\right ) \text {$\#$1}^4}{b \text {$\#$1}-4 i a \text {$\#$1}^2-2 b \text {$\#$1}^3+b \text {$\#$1}^5}\&\right ]+\frac {3 \sec ^3(c+d x) \left (48 a^5 b+568 a^3 b^3+14 a b^5+\left (78 a^5 b+606 a^3 b^3+81 a b^5\right ) \cos (2 (c+d x))+18 a b^3 \left (4 a^2+b^2\right ) \cos (4 (c+d x))+2 a^5 b \cos (6 (c+d x))-30 a^3 b^3 \cos (6 (c+d x))-17 a b^5 \cos (6 (c+d x))+48 a^6 \sin (c+d x)-244 a^4 b^2 \sin (c+d x)+20 a^2 b^4 \sin (c+d x)-4 b^6 \sin (c+d x)+16 a^6 \sin (3 (c+d x))-194 a^4 b^2 \sin (3 (c+d x))-86 a^2 b^4 \sin (3 (c+d x))-6 b^6 \sin (3 (c+d x))-14 a^4 b^2 \sin (5 (c+d x))-74 a^2 b^4 \sin (5 (c+d x))-2 b^6 \sin (5 (c+d x))\right )}{4 a+3 b \sin (c+d x)-b \sin (3 (c+d x))}}{72 a \left (a^2-b^2\right )^3 d} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A] Leaf count of result is larger than twice the leaf count of optimal. \(524\) vs.
\(2(25)=50\).
time = 8.93, size = 525, normalized size = 20.19
method | result | size |
derivativedivides | \(\frac {-\frac {1}{3 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3}}+\frac {1}{2 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}-\frac {a -4 b}{\left (a -b \right )^{3} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}-\frac {1}{3 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{3}}-\frac {1}{2 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{2}}-\frac {4 b +a}{\left (a +b \right )^{3} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}+\frac {2 b^{2} \left (\frac {\frac {\left (a^{4}+7 a^{2} b^{2}+b^{4}\right ) \left (\tan ^{5}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 a}-3 b^{3} \left (\tan ^{4}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\frac {4 b^{2} \left (2 a^{2}+b^{2}\right ) \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{a}+\left (6 a^{2} b +6 b^{3}\right ) \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )-\frac {\left (a^{4}+7 a^{2} b^{2}+b^{4}\right ) \tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{3 a}+2 a^{2} b +b^{3}}{a \left (\tan ^{6}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+3 a \left (\tan ^{4}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+8 b \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+3 a \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+a}+\frac {\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{6}+3 a \,\textit {\_Z}^{4}+8 b \,\textit {\_Z}^{3}+3 a \,\textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (\left (19 a^{4}+28 a^{2} b^{2}-2 b^{4}\right ) \textit {\_R}^{4}+18 a b \left (-4 a^{2}-b^{2}\right ) \textit {\_R}^{3}+6 a^{2} \left (11 a^{2}+34 b^{2}\right ) \textit {\_R}^{2}+18 a b \left (-4 a^{2}-b^{2}\right ) \textit {\_R} +19 a^{4}+28 a^{2} b^{2}-2 b^{4}\right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-\textit {\_R} \right )}{\textit {\_R}^{5} a +2 \textit {\_R}^{3} a +4 \textit {\_R}^{2} b +\textit {\_R} a}}{18 a}\right )}{\left (a -b \right )^{3} \left (a +b \right )^{3}}}{d}\) | \(525\) |
default | \(\frac {-\frac {1}{3 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3}}+\frac {1}{2 \left (a -b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}-\frac {a -4 b}{\left (a -b \right )^{3} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )}-\frac {1}{3 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{3}}-\frac {1}{2 \left (a +b \right )^{2} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )^{2}}-\frac {4 b +a}{\left (a +b \right )^{3} \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-1\right )}+\frac {2 b^{2} \left (\frac {\frac {\left (a^{4}+7 a^{2} b^{2}+b^{4}\right ) \left (\tan ^{5}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{3 a}-3 b^{3} \left (\tan ^{4}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+\frac {4 b^{2} \left (2 a^{2}+b^{2}\right ) \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{a}+\left (6 a^{2} b +6 b^{3}\right ) \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )-\frac {\left (a^{4}+7 a^{2} b^{2}+b^{4}\right ) \tan \left (\frac {d x}{2}+\frac {c}{2}\right )}{3 a}+2 a^{2} b +b^{3}}{a \left (\tan ^{6}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+3 a \left (\tan ^{4}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+8 b \left (\tan ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+3 a \left (\tan ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )+a}+\frac {\munderset {\textit {\_R} =\RootOf \left (a \,\textit {\_Z}^{6}+3 a \,\textit {\_Z}^{4}+8 b \,\textit {\_Z}^{3}+3 a \,\textit {\_Z}^{2}+a \right )}{\sum }\frac {\left (\left (19 a^{4}+28 a^{2} b^{2}-2 b^{4}\right ) \textit {\_R}^{4}+18 a b \left (-4 a^{2}-b^{2}\right ) \textit {\_R}^{3}+6 a^{2} \left (11 a^{2}+34 b^{2}\right ) \textit {\_R}^{2}+18 a b \left (-4 a^{2}-b^{2}\right ) \textit {\_R} +19 a^{4}+28 a^{2} b^{2}-2 b^{4}\right ) \ln \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )-\textit {\_R} \right )}{\textit {\_R}^{5} a +2 \textit {\_R}^{3} a +4 \textit {\_R}^{2} b +\textit {\_R} a}}{18 a}\right )}{\left (a -b \right )^{3} \left (a +b \right )^{3}}}{d}\) | \(525\) |
risch | \(\text {Expression too large to display}\) | \(8211\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: RuntimeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] Result contains complex when optimal does not.
time = 104.28, size = 133123, normalized size = 5120.12 \begin {gather*} \text {too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [A]
time = 25.44, size = 2500, normalized size = 96.15 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________